Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
171	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-08-30 07:17:32 Logic in computer science Formal methods Automated theorem proving Proof assistant Type theory POPLmark challenge Twelf HOL Matita Theoretical computer science Mathematical software Mathematical logic
172	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-01-15 09:13:15 Logic in computer science Formal methods Automated theorem proving Mizar system Proof assistant Automated proof checking Mizar and Alcor Mathematical proof Isabelle Theoretical computer science Mathematical logic Mathematics
173	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-11-20 13:32:58 Proof theory Automated theorem proving Logic in computer science Model theory Mathematical proof Theorem Proof assistant Isabelle Jordan curve theorem Logic Mathematics Mathematical logic
174	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods
175	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods
176	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-06-08 08:30:23 Mathematical proof QED manifesto Square root of 2 Automated reasoning Metamath Theorem Algorithm Proof assistant Prime number Mathematics Logic Mathematical logic